Symbioses between mathematical logic and computer science
نویسنده
چکیده
منابع مشابه
Mathematical Logic in Computer Science
The article retraces major events and milestones in the mutual influences between mathematical logic and computer science since the 1950s.
متن کاملMathematical Logic for Computer Science - 2nd Edition
logic in computer science solution manual PDF logic in computer science huth ryan solutions PDF logic in computer science modelling and reasoning about systems PDF mathematical structures for computer science PDF symbolic rewriting techniques progress in computer science and applied logic PDF handbook of logic in computer science volume 2 background computational structures PDF logic mathematic...
متن کاملA note on coalgebras and presheaves
We show that the category of coalgebras of a wide-pullback preserving endofunctor on a category of presheaves is itself a category of presheaves. This illustrates a connection between Jacobs’ temporal logic of coalgebras and Ghilardi and Meloni’s presheaf semantics for modal logic.
متن کاملGeometric Logic in Computer
We present an introduction to geometric logic and the mathematical structures associated with it, such as categorical logic and toposes. We also describe some of its applications in computer science including its potential as a logic for spec-iication languages.
متن کاملImproving Performance of Opportunistic Routing Protocol using Fuzzy Logic for Vehicular Ad-hoc Networks in Highways
Vehicular ad hoc networks are an emerging technology with an extensive capability in various applications including vehicles safety, traffic management and intelligent transportation systems. Considering the high mobility of vehicles and their inhomogeneous distributions, designing an efficient routing protocol seems necessary. Given the fact that a road is crowded at some sections and is not c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 167 شماره
صفحات -
تاریخ انتشار 2016